3
Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 1.12 MB
0 / 0
english, 2006
4
Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 3.20 MB
0 / 0
english, 2006
5
Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Έτος:
2006
Γλώσσα:
english
Αρχείο:
PDF, 1.74 MB
0 / 0
english, 2006
6
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Έτος:
1997
Γλώσσα:
english
Αρχείο:
DJVU, 1.74 MB
0 / 0
english, 1997
8
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Έτος:
2014
Γλώσσα:
english
Αρχείο:
PDF, 7.18 MB
0 / 0
english, 2014